preordered set